#include <assert.h>

#include "common.h"

int main(int argc, char **argv) {
  xmlDocPtr doc;
  xmlNodePtr root;
  
  assert(argc == 2);
  libSetup();
  doc = xmlParseFile(argv[1]);
  assert(doc);
  root = xmlDocGetRootElement(doc);
  assert(root);
  processCompliance(root, "9.2.3.5");
  return 0;
}
